Visitor for managing the root of the AST, on the globals level, with the cases that are relevant to E-ACSL.