added #include "theory/rewriter.h" to command.cpp