def is_not_nat(builder, val):
 return builder.icmp(lc.ICMP_NE, val, NAT)

def is_not_nat ( builder , val ) : return builder . icmp ( lc . ICMP_NE , val , NAT )
return a predicate which is true if *val* is not nat .