[x] ~Should be able to start from either a PDDL domain-problem pair or from the NL2Flow flow specification~ Not possible due to lost transformations on the strings
[x] Confirm whether the sequence is valid
[x] Confirm whether the sequence is optimal
[x] Confirm whether the sequence is sound
[x] Fill in the blanks if it is a partial flow
[x] Fill in the blanks while removing parts of the input if required
[x] Reject all invalid tokens
[x] DEBUG flag to switch debug mode on or off in the compilation (for speed)
Given a target flow and the flow specification: