CheckCondition checks if condition `c` on `cc` has value `cs`.

CheckConditionFailed checks if the condition is in state `False`.

CheckConditionOngoing checks if the condition is in state `Unknown`.

CheckConditionSucceeded checks if the condition is in state `True`.