The following theory emits `anomaly: EcLib.EcCoreGoal.InvalidGoalShape`: ``` lemma foo (x: bool): x = true => true. proof. subst x. ```
The following theory emits
anomaly: EcLib.EcCoreGoal.InvalidGoalShape: