6 Static oracles are usually described as rules over parser configurations, i.e., "if the configuration is X take transition Y", giving the impressions they are functions from configurations to transitions.
as explained here, these rules are only correct if the sequence of transitions is followed in its entirety.