pub fn checker_quantifier_structure( checker: &CheckerDecl, ) -> (Vec<&RandVar>, Vec<&RandVar>)
Get checker’s random variable quantifier structure. Returns (const_rand_vars, per_timestep_rand_vars).