ElimMonitors: fix JavaDoc about newly created edges not having guards
- * All edges created by this transformation have no guards, no communication, no urgency, and no updates.
+ * All edges created by this transformation are self-loops, and have no communication, no urgency, and no updates.