Add a couple of missing cases to isTcReflCo and isTcReflCo_maybe