changed return type to string of eliminateQuantifier method in
QESimplifyCommand class