Input List Type: if
Query: A-flow-lines through which a given information-flow flowsPurpose: Returns the a-flow-lines through which information-flows from the input list actually flowstm_r_bf_within_flows_if (IN if_list: LIST OF
INFORMATION_FLOW, OUT status: INTEGER)
Query: A-flow-lines labeled by a given information-flowPurpose: Returns the a-flow-lines labeled with information-flows in the input liststm_r_bf_within_labels_if (IN if_list: LIST OF
INFORMATION_FLOW, OUT status: INTEGER)