Automated documentation inference to explain failed tests | Synapse