Return true if "icmp1 APred ALHS ARHS" implies "icmp2 BPred BLHS BRHS" is true. Return false if "icmp1 APred ALHS ARHS" implies "icmp2 BPred BLHS BRHS" is false. Otherwise, return None if we can't infer anything.
source not stored for this graph (policy: none)
no test coverage detected