Anomaly: File "toplevel/himsg.ml", line 767, characters 2-8: Assertion failed.
Push to yoneda