Problem in export of arithmetical queries

[Jiri Srba]

Open the attached net. It does not verify as the engine does not parse it
due to the fact the <integer-eq> has more than two children, in fact all the
diffrences as missing, see the output of the XML query:

<formula>
      <exists-path>
        <finally>
          <integer-eq>
            <integer-product>
              <integer-constant>3</integer-constant>
              <tokens-count>
                <place>P0</place>
              </tokens-count>
            </integer-product>
            <integer-product>
              <integer-constant>2</integer-constant>
              <tokens-count>
                <place>P1</place>
              </tokens-count>
            </integer-product>
            <integer-product>
              <integer-constant>4</integer-constant>
              <tokens-count>
                <place>P2</place>
              </tokens-count>
            </integer-product>
            <integer-product>
              <integer-constant>3</integer-constant>
              <tokens-count>
                <place>P3</place>
              </tokens-count>
            </integer-product>
            <integer-product>
              <integer-constant>2</integer-constant>
              <tokens-count>
                <place>P4</place>
              </tokens-count>
            </integer-product>
            <integer-product>
              <integer-constant>10</integer-constant>
              <tokens-count>
                <place>P5</place>
              </tokens-count>
            </integer-product>
            <integer-constant>65</integer-constant>
          </integer-eq>
        </finally>
      </exists-path>
    </formula>

[Jiri Srba (srba)]

The attached net actually does not parse. I attach another net, open it, open the query and change it to CTL query. Then verify and the error appears. Perhaps it has something to do with the conversion to CTL?