Even safer substitution of constants in CUT-TO-WIDTH