DeclAssum no longer requires empty res state