Refactor prop_converge() to always use the eqc interface