Added helper methods in PilarAstUtil.
Added Pilar expression simplifier.
Fixed rewriter direction on simple inequality.