Class File.check_file

class check_file : string -> Visitor.frama_c_visitor
visitor that performs various consistency checks over the AST. The string argument will be used in the error message in case of inconsistency, in order to trace the issue.