'AQuantification' object has no attribute 'symbol' error in IC but not in IDE

Using this specification in Interactive Consultant:

vocabulary V{
    type CComponent
    type Shape := { c }
    type Node := {a, 'iri_ex_Test' }
    pred_rdf_type: Node * Node -> Bool
    pred_ex_pred2: Node * Node -> Bool
    cc: Node * Shape -> Bool
    vio: Node -> Bool
    _shape: Node -> Bool
    path_0: Node * Node -> Bool
    cc_are_not_contained: Shape * CComponent -> Bool
}
theory T: V {
    {
        !x in Node: _shape(x) <-
        (!y in Node: pred_ex_pred2(x, y) => ?c0 in Node: pred_rdf_type(y, c0))
        .
    }
    {
        !x in Node:vio(x) <-
        ~(((?y in Node: pred_rdf_type(x, y) & y = 'iri_ex_Test')) =>_shape(x)
        ) .
    }

    !p in CComponent:
        !v in Shape: ?x in Node:
            cc_are_not_contained(v, p) => cc(x, v).


{ !x in Node, v in Shape: cc(x, v) <- ( (vio(x)) ) . }
}
structure S: V{
    CComponent := { b }.
}

Causes the expection AttributeError: 'AQuantification' object has no attribute 'symbol'. This happens in state.determine_relevance(). And as such this specification does work in the IDE.

Git bisect says the 'bad' commit is: 2cf23569 But I have my doubts that this problem was caused by this commit.