Client code S5. SubstVarExpAlg renamed with SubstVar