Path sensitive matching.