fixed substitution and reduction test programs