Introducing Dynamic Constraints in B