Add option to decide whether to reduce on applySubst or not.