Non Pair-Sharing and Freeness Analysis through Linear Refinement