position-aware occurs check
Merge branch 'fixpoint3' of https://github.com/vkomenda/CoALP into fixpoint3