Predicate signature TypeTracking::CallGraphConstruction::InputSig::start

Holds if type tracking should start at start in state state.

signature predicate start(Node start, State state)