ap.proof.goal
Task for eliminating inequalities using the equivalence from the Omega-test
Determine whether this task might causes proof splitting
Task for eliminating inequalities using the equivalence from the Omega-test