Fix a bug in translation from Simple to FO
Fix a bug in translation from FO to Poly FOL

Only arguments were substituted when casing on a variable,
but the constraints should be substituted, too.