add bit0 and bit1 constants to smt-lib v1 parser