aliveConstraint in map