added widen, positive mismatch, and token set match for address