open fun getExecutionPath(commands: List<AuthenticatedObject<C>>): List<Clause<*, *, *>>
Determine the subclauses which will be verified as a result of verifying this clause.
IllegalStateException
- if the given commands do not result in a valid execution (for example no match
with FirstOf).