Counterexample Construction Protocol for Structured Analytical Execution | Counterexample Construction | Mathematics | NEROS