let compute () = if not (AddrTaken.is_computed ()) then begin Wp_parameters.debug "Computing logical variables."; Visitor.visitFramacFile (new address_taken_var) (Ast.get()) ; AddrTaken.mark_as_computed () end