fixing bug about parsing compact form of xsd:int in provn