To check if the rule has actually be applied, the input automaton was intersected with the result.
the custom FSA applier function that implements only the necessary features was employed for both rule testing and finding the delimiter cohort.