Rule for DelayedInitSelect

Implementation and tests are similar to scalac's.