Update the output for test 225
Avoid re-applying the substitution to goals