Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing | Synapse