updated flags to be compatible with boolector-2.0.1