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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information