added command line option for extractArith bv rewrite