Files

• reduction.v
• rule_reduction.v