Lines Matching defs:canonical_decomposition