f1ff3e00

By: ValentinHirschi <valentin.hirschi@gmail.com>

Prove affine guard implications and reuse bounded predicate restrictions
GitHub
configure