The invariant for water tank is supported