some automation & bool cases for cps_trans_implies_t_typing