Adding icmp instruction and predicates.