bad naming of subgoals for `replace`
The first subgoal for transformation replace
should not be named false case
Please review the naming of subgoals for other transformations as well
The first subgoal for transformation replace
should not be named false case
Please review the naming of subgoals for other transformations as well