Add test for mu and invariant recursive calls.