make explicit that graphs must be EmptyContext, never null (Coverity)