constraints fürs validate(loop, exclude, RT, Context)