Storage

We assume the WriteAheadLog dependency is simple and is able to Truncate only the whole log. Therefore, we actually use two WALs to ensure the ability of erasing a certain prefix of the WAL in a safe manner.