- prerr_endline ("IN " ^ CicNotationPp.pp_term term);
- (* LUCA: il termine legato e' lo stesso termine di partenza per cui si innesca il loop infinito *)
- let res = Ast.AttributedTerm (`Level (precedence, associativity),
- (instantiate21 (ast_env_of_env env) l1))
- in
- prerr_endline "OUT";
- res
+ Ast.AttributedTerm (`Level (precedence, associativity),
+ (instantiate21 (ast_env_of_env env) l1))