InputFrontEnd: add resetOnStateSwitch