The DOJ contends that a lower court did not fully examine the antitrust implications of optional rules in REX's suit against NAR and Zillow.