Add ostream for verifications