Functioning pattern matching and annotation for all single subpattern patterns