Make check-below not return no-filter and no-obj.
Make version of tc-err that checks return types.