They did, but he was already deep into Justice League (phrasing!) before BvS came out and puked up a hairball. It would have been impossible to remove him. But I doubt seriously he'll be a part of the DCverse post JLA unless it's a fucking out of the park hit. And maybe not even then.