always use the modified FSM as default