Evaluate the collective function of references cited together in a given text segment.
Classify their combined role into one of the following categories: 'method', 'background', or 'result'.

Text:To check this intuition, we compare safari with Clousot, a recent tool based on Abstract Interpretation, under active development at Microsoft Research, which is capable of handling programs manipulating arrays (as discussed in [29]).
Category: