Picat: some more conversion of 'in' -> '::', or to member/2