pub type Step = (usize, Vec<bool>);
One firing of a cycle: which jump fires, and the branch each condition it meets takes.