Implement getExpr, and getTerm
Add getExprTest