Now when I think about it... In previous media, in spite of their differences (one is an alien and other is a human), both Superman and Batman have a no-kill policy. Never understand why Snyder messed up with this trait of both characters. Grimdark vibes, perhaps?