should propagate when attaching PB constraint