Introduces Clauses for checking arguments and states.

Change-Id: I8b9aabaf27f4c6b036d042ca5f765025369c92a4