ligo/src/passes/3-self_ast_simplified/main.ml