Pass Sequence as Formal Argument to Checker

In reply to Rsignori92:

Exactly, increasing reusabllity and compactness. You can check LRM for more info.