add binding to read icmp predicate