partial flow-sensitive analysis equipped in sparse analysis functor