Add back license header to invariant