checker-SaGaF