Module Crs_expect_tests