Relvars and assign! added