we can safely enable set_opt_sel_based_null_check_elim() because we use Sel's only...