is an internal function for determining if shadowtest assembly was feasible for exposure control purposes. Specifically, for the segment k the final theta estimate belonged to, it returns TRUE if shadowtest assembly was feasible at any interim theta that also belonged to k, and returns FALSE otherwise.