TestTracing: Check Prelude.Bool: Check