DITRAN—a compiler emphasizing diagnostics | Synapse