test(tests/lean/run/sigma_no_confusion): define 'no_confusion' for sigma types
test(tests/lean/run/sigma_no_confusion): define 'no_confusion' for sigma types