Function check

pub fn check(engine: TrackedMut<'_, Engine<'_>>)

Query: Global program check