- | A.Sub (t1, t2) -> Mpres.Msub (attrs, invoke' t1, invoke' t2)
- | A.Sup (t1, t2) -> Mpres.Msup (attrs, invoke' t1, invoke' t2)
- | A.Below (t1, t2) -> Mpres.Munder (attrs, invoke' t1, invoke' t2)
- | A.Above (t1, t2) -> Mpres.Mover (attrs, invoke' t1, invoke' t2)
+ | A.Sub (t1, t2) -> Mpres.Msub (attrs, invoke' t1, invoke_reinit t2)
+ | A.Sup (t1, t2) -> Mpres.Msup (attrs, invoke' t1, invoke_reinit t2)
+ | A.Below (t1, t2) -> Mpres.Munder (attrs, invoke' t1, invoke_reinit t2)
+ | A.Above (t1, t2) -> Mpres.Mover (attrs, invoke' t1, invoke_reinit t2)