change return type of transExpr() in semant.
Merge pull request #297 from BayesianLogic/Fix-semant

change return type of transExpr() in semant.