Add path-sensitive analysis support