fn implies(n: &Matcher, p: &Matcher) -> bool
Does a positive match of n guarantee a positive match of p?
n
p