A DefUseFrame now supports a set of definitions