We want to enable txs to spend multiple inputs that are at the same predicate address and only run the predicate once. This most-likely will require a new tx type with new inputs to protect old predicates from being exploited with the new feature.