[PATCH] lib: Specify domain redefinition requirements