Explaining Synthesized Software