add example of overloading for predicates in ACSL