libs/tarjan/tarjan.c
static int Stack_elem(Stack * s, size_t v)
{
    size_t i = 0;

    for (i = 0; i < s->stack_top; i++) {
        if (s->values[i] == v)
            return 1;
    }

    return 0;
}
// predicate if v is in stack
predicate if v is in stack
predicate if v is in stack
static int Stack_elem(Stack * s, size_t v)
{
    size_t i = 0;
    for (i = 0; i < s->stack_top; i++) {
        if (s->values[i] == v)
            return 1;
    }
    return 0;
}
static int Stack_elem ( Stack * s , size_t v ) { size_t i = 0 ; for ( i = 0 ; i < s -> stack_top ; i ++ ) { if ( s -> values [ i ] == v ) return 1 ; } return 0 ; }
predicate if v is in stack
predicate if v is in stack