I'm not sure how you got that. In both the original theorem and the new "strong" theorem, the theory is a conditional statement (if-then), and that humans have

I'm not sure how you got that. In both the original theorem and the new "strong" theorem, the theory is a conditional statement (if-then), and that humans have free will is part of the condition, not part of the conclusion. In describing the original theorem they write: "It asserts, roughly, that if indeed we humans have free will, then elementary particles already have their own small share of this valuable commodity." And in describing the new theorem, they write: "The axioms SPIN, TWIN and MIN imply that..." Where the axiom MIN is: "Assume that the experiments performed by A and B are space-like separated. Then experimenter B can freely choose..." That "then" clause occurs inside the axiom, so is part of what is assumed. The axioms are assumed - in particular, the free will of experimenter B is assumed - and a conclusion is drawn.