added test function to ts_checkers to generate random intersection condition