Move precondition check to AWritableVolume from subclasses.