pattern_eq(): Introduce