vera test about projection of relations: small debug + debug message enhanced + test projections