Pass Sequence as Formal Argument to Checker

In reply to hcglu:
… " cannot pass srquence to checker"
That would be a tool limitation.
It’s not uncommon for a tool not to implement all the features of the language