test for rec bool functions