Beépített ellenőrzés az EyeC ProofRunner segítségével