Printing of try with to Coq (still not working)