Add sample

This sample test mutual recursion
Add spec about mutual recursion