Add functions to manipulate elab state table