Fixed costly general recursive rhs modality instance, partially fixed running TC search too often for recursive hint search.