Explicit check langs for case of multiple FA patterns