tests: adapt the type_check_SUITE to 8b68205e48
tests: adapt the type_check_SUITE to 8b68205e48

jvf/scalaris,jvf/scalaris,jvf/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris