adjust stlc-sub to have a new property that
stresses substitution more

also, fix a bug in the substitution function