collects all distinct witnesses of f from the receiver, where the return type contains pairs of A and a list of other corresponding elements that full fill f