Some changes
Register added gecode function to mark adresses