Text this: Proof complexity of positive branching programs