ligo/src/passes/9-self_michelson/main.ml