Fix MartelliMontanari unification
Remove comment
Add instructions for fixing UnifyingResolution