Sound up-to techniques and Complete abstract domains