tester: also fail type_check_module if only public feeder functions were tested
tester: also fail type_check_module if only public feeder functions were tested

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