Model Predicates

Use this document to test active state inside a deep branch.