Adapt assertion to 9e7235042eaa402842cae1c85a31979a7e12f59e.

This fixes opt/fehler225.c
Consider all Projs, since they may have normal users.