By: ValentinHirschi <valentin.hirschi@gmail.com>
Short-circuit sign-definite guards and prioritize sparse native equations