improved generation of past record states