Add operation 'IsEmpty'