bool var representation and linear() constraints