Added ExprSTO.java constructors to determine terms. Changed some STO
methods to public so it can be accessed by ExprSTO.java.