use assert_unreached for tests which should not run according to policy