occurs check to prevent divergence if one of the structures being unified contains the other
fix divergent behaviour when peanoo is before conde, add more documentation