sig exception Unsafe of Node.t val check : Ast.t_system -> Node.t -> unit end