let compute_non_linear_assignments f = let vis = new do_non_linear_assignments in ignore (Visitor.visitFramacFunction (vis:>Visitor.frama_c_visitor) f); vis#result