     rrule = (null for i in [0..15])  
     for i in [0..15]
       rrule[@table[i]] = i      
-    from_list rrule
+    new Rule rrule
         
   ###
   # Checks whether the rule is invertible

  for ri, i in rule
    if ri is null
      throw new Error "Samples incomplete. State " + i + " has no descendant"  
  from_list rule
  
  
#Operations over 4-bit blocks


    for i in [0...period] by 1
      i1 = (i+1)%period
      new Rule compose3( stabilizers[i], @table, stabilizersR[i1] )
      
  #Flashing rule is a rule that converts vacuum to its inverse and back, on each step
  # (vacuum cycle is [0,15])
  is_flashing:  -> (@table[0] is 15) and (@table[15] is 0)
  
  #Vaccum-stable rules don't change empty field
  # (vacuum cycle is [0])
  is_vacuum_stable: -> @table[0] is 0

    
