(Xronos) XronosParameterPropagation, fixing parameter propagation
transformation for Integer and boolean parameters