This is now fixed for verifypn but should be also fixed for verifydtapn and verifytapn. Plus it should pass the query always using the XML format and not the text format. To test, use the same net as above but make it timed before unfolding.
This is now fixed for verifypn but should be also fixed for verifydtapn and verifytapn. Plus it should pass the query always using the XML format and not the text format. To test, use the same net as above but make it timed before unfolding.