Function compute_domain 

pub fn compute_domain(
    chart: &CompiledChart,
    history: &History,
    t: TransIdx,
) -> Option<StateIdx>

getTransitionDomain, computed from scratch.