allow a ... in the first argument of a for to match a decl; only allowed if it...
allow a ... in the first argument of a for to match a decl; only allowed if it is all context or all minus, due to the complexity of dealing with the separate ; that is not separat in the decl