this initially (on 1.9.18) triggered this extended digression; The initial naive implementation (without backtracking) did not allow to express such a simple thing like "function XXX" not invoked (again) after "function XXX"