Ast.program_map
constraint 'c program_map = 'c program_map
inherit VisitorsRuntime.map
inherit law_structure_map
method visit_program : 'c -> 'd -> program -> program