Prover.inline_pvars_rule is officially dead