Added unit tests for testing reduction of expressions