ERROR: FSM encoding `binari' is not supported!