simplify fixpoint equations to closed forms: infer consts after loops