Fix sample query output for the `coinduction` example