Added examples for simple, mutual, and trigger-based recursion