*Free variables count added to the constructor *Method getQuantifiedVariableValue added. Pending tasks
*Free variables count added to the constructor
*Method getQuantifiedVariableValue added. Pending tasks

selig/qea