create visitor LengthFinder.
Finish 2nd level unfold visitor LengthFinder.
create and 1st level unfold new visitor ConstrainedPatternChecker.
2nd level unfold of visitor ConstrainedPatternChecker.