implement checkSystemConstraint : AliveConstraintImpl