Fix bug regarding undoing pseudo infix when there is a def in an interface.