let compute_logic_params () =
debug "[LP+AT] logic parameters and address taken computation";
if not (LogicParam.is_computed()) || not (AddrTaken.is_computed()) then
( Visitor.visitFramacFile
(new logic_parameters_and_addr_taken_collection)(Ast.get());
LogicParam.mark_as_computed();AddrTaken.mark_as_computed())