add full list of hb definitions to smt model