    //TODO: for each lifeline make an automaton
    // to do so hide all other lifelines, canonize the remainder and inductively build the automaton
    for lf_id in 0..gen_ctx.get_lf_num() {
        let lf_name = gen_ctx.get_lf_name(lf_id).unwrap();
        let mut lfs_to_remove : HashSet<usize> = (0..(gen_ctx.get_lf_num())).collect();
        lfs_to_remove.remove(&lf_id);