filter_stack
implied_true = filter_stack(gate_sm, pre_stree, false_stack, true_stack);
*true_states = filter_stack(sm, pre_stree, false_stack, true_stack);
*false_states = filter_stack(sm, pre_stree, true_stack, false_stack);
*implied_true = filter_stack(sm, pre_stree, false_stack, true_stack);
*implied_false = filter_stack(sm, pre_stree, true_stack, false_stack);
*implied_true = filter_stack(sm, pre_stree, false_stack, true_stack);
*implied_false = filter_stack(sm, pre_stree, true_stack, false_stack);
*implied_true = filter_stack(sm, pre_stree, false_stack, true_stack);
*implied_false = filter_stack(sm, pre_stree, true_stack, false_stack);