find_reverse_HO_rewrite and find_apply and friends