| Change of loc * 'term * 'term * ('term,'ident) pattern (* what, with what, where *)
| Compare of loc * 'term
| Constructor of loc * int
| Change of loc * 'term * 'term * ('term,'ident) pattern (* what, with what, where *)
| Compare of loc * 'term
| Constructor of loc * int