anchor.diff:    case Object of
       NilObject -> false_pid();
       False -> false_pid();
  -    _ -> true_pid()
  +    _ -> true_instance()
     end.
   
   
   and_op(B1,B2) ->
  -  True = true_pid(),
  +  True = true_instance(),
     False = false_pid(),
     case B1 of
       True -> B2;
  
positive.code:   end.
  
  not_op(Boolean) ->
    True = true_pid(),
    False = false_pid(),
    case Boolean of
      True -> False;
  
negative.code:   end.
  
  or_op(B1,B2) ->
    True = true_instance(),
    False = false_pid(),
    case B1 of
      True -> True;
  