some more fixes for propagation to/from abstract operations