Add code to push declaration to ResultTable.