formula-statemachine-test