Static's check that its pattern parses; returns no code.
check_pattern :: (pattern: string) -> string