Update outdated results for some of the sample queries for the `coinduction` example