encode (x = y => fx = fy), fixing previous false counterexample
Merge pull request #24 from philnguyen/fix-translation

encode (x = y => fx = fy), fixing previous false counterexample