Input List Type: co
Query: A-flow-lines through which a given condition flowsPurpose: Returns the a-flow-lines through which conditions from the input list actually flowstm_r_bf_within_flows_co (IN co_list: LIST OF
CONDITION, OUT status: INTEGER)
Query: A-flow-lines labeled by a given conditionPurpose: Returns the a-flow-lines labeled with conditions in the input liststm_r_bf_within_labels_co (IN co_list: LIST OF
CONDITION, OUT status: INTEGER)