Önkoşul grafı — Mathesis