disable some checks with --crazy-hack
crazy bool/arith rewriting