Tutorial 10: Common Inference Patterns and Rewrite Rules