val phase : Types.intermediate -> Types.intermediate

val analyse_context : Types.node -> Types.node