pub fn verify_sequence_predicate( transaction: &Transaction, input_index: usize, predicate: u32, ) -> bool