simplify code for propagation of constant arguments into