Revert "#5 pulled down methods from TheoryCommand and started to work towards green"
Revert "#5 pulled down methods from TheoryCommand and started to work towards green"

This reverts commit 21c9eea6cdcfe06c07d0483b8266a127504fb8af.

mvalipour/xbehave.net,mvalipour/xbehave.net,hitesh97/xbehave.net,modulexcite/xbehave.net,modulexcite/xbehave.net,adamralph/xbehave.net,hitesh97/xbehave.net,xbehave/xbehave.net