printing functions and predicates with the same name

[Bart Bogaerts]

This is not yet working: disambiguation information should be printed in this case.

[Broes De Cat]

Fixes #623: Added check for same name predicate/function

→ <<cset 0725cbe66df2>>