icmp eq
Also adds a predicate for matching the `eq` IntCC code (TODO this should be replaced by something more general)