join-0.2: Parallel Join Patterns with Guards and Propagation
Join.Base
module MultiSetRewrite.Base
module MultiSetRewrite.RuleSyntax