Binary Constraint System Games and Locally Commutative Reductions