Fix a memory leak during fsm_determinise_with_config's early exit

Fix a memory leak during fsm_determinise_with_config's early exit #1247