add invariant for geemspec