Comorphism paths in prove window

Currently comorphisms in the prove window in the GUI include the ID comorphism multiple times. 

For example, choose an OWL node, select Pellet as prover and expand the comorphism dropdown.

Furthermore, the id comorphism is added to all paths, which is unnecessary. 