[modeller_usage] enforcing symmetry in loop refinement