fixing bug about parsing compact form of xsd:int in provn
fixed bug in expander when no variable present