pub fn same_ctor(a: &str, b: &str) -> bool
Returns true if two patterns have the same structure (same ctor and arity).