fix: recursion depth tracking and sequence quantifier navigation#227

zharinov merged 1 commit intomasterplotnik-lang/plotnik:masterfrom

fix/recursion-and-navigationplotnik-lang/plotnik:fix/recursion-and-navigationCopy head branch name to clipboard