Lines Matching refs:symbolic_factorization