Ast.assertion_map
constraint 'c assertion_map = 'c assertion_map
inherit VisitorsRuntime.map
inherit expression_map
method visit_assertion : 'c -> 'd -> assertion -> assertion