Before this fix, generation for Iff would trigger an infinite loop,
because of automated conversions between Equals for Booleans and Iff.

Includes a regression test for the fixed issue.