- add i1 n;add i2 n;
- max (aux (n+1) (let p,_,_ = proof_of_id i1 in p))
- (aux (n+1) (let p,_,_ = proof_of_id i2 in p))
+ let go_on_1 = add i1 n in
+ let go_on_2 = add i2 n in
+ max
+ (if go_on_1 then aux (n+1) (let p,_,_ = proof_of_id i1 in p) else n+1)
+ (if go_on_2 then aux (n+1) (let p,_,_ = proof_of_id i2 in p) else n+1)