Remove wrongly committed file in the `coinduction` example