Symbol: power_check_constraints