si.senv = be_new_spill_env(si.dbg, chordal_env, is_mem_phi, &si);
si.cls = chordal_env->cls;
si.lpp = new_lpp(problem_name, lpp_minimize);
si.senv = be_new_spill_env(si.dbg, chordal_env, is_mem_phi, &si);
si.cls = chordal_env->cls;
si.lpp = new_lpp(problem_name, lpp_minimize);