update: extend top-requirement-context