//@ predicate Vanishes{A}(int a) = (\at(a,A) == 0);