enable show_goal_inst by default: match failure is merely a warning (see 730638d4e37a);