Debugging# Functions to help understand when things have gone wrong. examine_saved_synthesis Examine saved synthesis object.