Add code generation of saturation
structural change