Conservative Extension Analysis Protocol for Structured Analytical Execution | Conservative Extension Analysis | Mathematics | NEROS