with Q1.Q2.Q3;
package body Q1.Q2 with Refined_State => (S2 => (Q1.Q2.Q3.X3A, Q1.Q2.Q3.X3B, Q1.Q2.Q3.X3C))
  -- "Desired" autogenerated contract is Refined_Initializes => (Q1.Q2.Q3.X3A, Q1.Q2.Q3.X3C)
is
   procedure Dummy is null;
end;
