Add support for the hasOneUse predicate, since sometimes it is required for correctness