public static boolean containsModifiableVariableModification(ProtocolMessage object){
  for (  ModifiableVariableHolder holder : object.getAllModifiableVariableHolders()) {
    for (    Field f : holder.getAllModifiableVariableFields()) {
      if (containsModifiableVariableModification(holder,f)) {
        return true;
      }
    }
  }
  return false;
}

public static boolean containsModifiableVariableModification ( ProtocolMessage object ) { for ( ModifiableVariableHolder holder : object . getAllModifiableVariableHolders ( ) ) { for ( Field f : holder . getAllModifiableVariableFields ( ) ) { if ( containsModifiableVariableModification ( holder , f ) ) { return true ; } } } return false ; }
analyzes the modifiable variable holder and returns true in case this holder contains a modification
