set -O3 to default
bug fix
fix detection of dominated constraints