Database.Algebra.Rewrite.PatternConstruction
dagPatMatch
v