TryWith operator (without to_coq printing)