Pair-Independence and Freeness Analysis through Linear Refinement