Function compute_facts 

pub fn compute_facts(p: &SpatialProgram) -> ComputeFacts

The facts of a program, computed from its stages. Cheap and total — it never fails, because every question it answers is structural.