if the following are true:

• the line at time t = i
• the tab at time t = j
• statement at line i, tab j = a class named name with bases: bases

then Class Map at time (t + 1) = result of storing [ entry "bases": bases, [ entry "methods": [ ], [ entry "line": i, [ ] ] ] ] at key: name in map: (Class Map at time t)