Pattern: Store code_index in constructors
Rename constr to pattern and add a TODO
Pattern: Store var in matrix