open fun getExecutionPath(commands: List<AuthenticatedObject<C>>): List<Clause<*, *, *>>
Determine the subclauses which will be verified as a result of verifying this clause.