What about transitions table, I need to look more, but the first impression: if we need to do some checks anyway, than we shouldn't use __fixed__ transitions table, because it's actually not fixed (true or false depends on conditions). But need to look in detail.