Tag: deterministic pattern matching