Constraints error variables grammar by Luelsdorff