we `freeze` it so user doesn't accidentally modify it as it might have bad side effects. Only it means that after call to `all_transitions` it's not possible to add new transitions. But it shouldn't be a problem because usually you would add all transitions at beginning.