uncommented destructor of expr