I'm sure Snyder could have set up the pre-conditions for a Batman battle in a second Superman movie. And then they wouldn't have had to waste as much time with the convoluted logic that motivates the unmotivated battle between the Man of Tomorrow and the Darknight Detective in BVS.
It seems like there was a lot of time between when MOS came out in 2013 and when BVS came out in 2017--they could have slipped another Superman movie in there quite nicely in 2015, if they had the will to find a way.