added random_triplet to generate triple random intersection condition to ts_checkers.adb