Box Relaxation

The simplest and most efficient convex relaxation. It is basically interval domain.

The transformers are straight-forward:

Box transformer is not exact. Nevertheless, it might be enough to verify the post-condition.