that make four (times of identical == definitions)

lib/virtual/instruction.rb

@@ -15,9 +15,17 @@ module Virtual
     # simple thought: don't recurse for Blocks, just check their names
     def == other
       return false unless other.class == self.class 
-      attributes.each do |a|
-        left = send(a)
-        right = other.send(a)
+      Sof::Util.attributes(self).each do |a|
+        begin
+          left = send(a)
+        rescue NoMethodError
+          next  # not using instance variables that are not defined as attr_readers for equality
+        end
+        begin
+          right = other.send(a)
+        rescue NoMethodError
+          return false
+        end
         return false unless left.class == right.class 
         if( left.is_a? Block)
           return false unless left.name == right.name

lib/virtual/type.rb

@@ -6,9 +6,17 @@ module Virtual
   class Type
     def == other
       return false unless other.class == self.class 
-      attributes.each do |a|
-        left = send(a)
-        right = other.send(a)
+      Sof::Util.attributes(self).each do |a|
+        begin
+          left = send(a)
+        rescue NoMethodError
+          next  # not using instance variables that are not defined as attr_readers for equality
+        end
+        begin
+          right = other.send(a)
+        rescue NoMethodError
+          return false
+        end
         return false unless left.class == right.class 
         return false unless left == right
       end