Freeness Analysis through Linear Refinement