commented out unused private fields in FSMinterface (clang warning)