operation Source!Class hasStereotype(name:String):Boolean {
return self.stereotype.exists(st:Class!Stereotype|st.name=name);
}

rule CopyProblemStatement
   transform sps : Source!Class
   to tps : Target!Class{
guard : sps.hasStereotype("Problemstatement")
}

rule CreateXDomainFromDomainSpecificProblemStatement
   transform sps : Source!Class
   to tps : Target!Class{
guard : sps.hasStereotype("problemstatement")
("Transform domain-specific problem statement '" + sps.getName() + "' to cross-domain problem statement...").println();
'Done.'.println();
}

operation Source!Class hasStereotype(name:String):Boolean {
  var rc:Boolean;
  rc = false;
  self.getName().println();
  var stereotypes:Sequence;
  stereotypes = self.getAppliedStereotypes();
  var stereotype:Stereotype;
  stereotype.println();
  name.println();
  for (stereotype in stereotypes){
    if (stereotype = name){
      rc = true;}
  }
  if (rc = true){
    return true;
  }
  if (rc = false){
    return false;
  }
}

sps.equivalent().<connectionToSourceElement>.add(tps);
sps.equivalent().<connectionToTargetElement>.add(tps);