should propagate when attaching PB constraint
clean up watch literal scheme of Pueblo