procedure Separate_Thens is
   X_0123456789,
   X_01234567890,
   X_012345678901,
   X_0123456789012,
   X_01234567890123,
   X_012345678901234,
   X_0123456789012345,
   X_01234567890123456,
   X_012345678901234567,
   X_0123456789012345678,
   X_01234567890123456789: Boolean := True;
begin
   if X_0123456789 = X_0123456789 then
      null;
   elsif X_0123456789 = X_0123456789 then
      null;
   end if;
   if X_0123456789 = X_01234567890 then
      null;
   elsif X_0123456789 = X_01234567890 then
      null;
   end if;
   if X_0123456789 = X_012345678901 then
      null;
   elsif X_0123456789 = X_012345678901 then
      null;
   end if;
   if X_0123456789 = X_0123456789012 then
      null;
   elsif X_0123456789 = X_0123456789012 then
      null;
   end if;
   if X_0123456789 = X_01234567890123 then
      null;
   elsif X_0123456789 = X_01234567890123 then
      null;
   end if;
   if X_0123456789 = X_012345678901234 then
      null;
   elsif X_0123456789 = X_012345678901234 then
      null;
   end if;
   if X_0123456789 = X_0123456789012345 then
      null;
   elsif X_0123456789 = X_0123456789012345 then
      null;
   end if;
   if X_0123456789 = X_01234567890123456 then
      null;
   elsif X_0123456789 = X_01234567890123456 then
      null;
   end if;
   if X_0123456789 = X_012345678901234567 then
      null;
   elsif X_0123456789 = X_012345678901234567 then
      null;
   end if;
   if X_0123456789 = X_0123456789012345678 then
      null;
   elsif X_0123456789 = X_0123456789012345678 then
      null;
   end if;
   if X_0123456789 = X_01234567890123456789 then
      null;
   elsif X_0123456789 = X_01234567890123456789 then
      null;
   end if;
end Separate_Thens;
