contraint check for new relvars