Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago

MP algorithm was always resetting the pattern index to 0 whereas it should be
reused. This revealed that Spos should also take into account node wildcards
otherwise the presumed not-necessary-to-be-parsed part of the pattern does not
have to be matching the pattern. Which caused the computation of what does not
need to be matched to underflow.