[ subst ] optimise extending substation by variable

Law: Var n [] :# Wk (n + 1) rho == Wk n (Lift 1 rho)
Merge remote-tracking branch 'origin/maint-2.4.2'