code: @Override
  	public boolean satisfies(Match match, int... ind)
  	{
  		Control ctrl = (Control) match.get(ind[0]);
  
  		for (Process process : ctrl.getControlled())
  		{
  			if (process instanceof Interaction)
  			{
  				Interaction inter = (Interaction) process;
  				Set<Entity> participant = inter.getParticipant();
  				for (Controller controller : ctrl.getController())
  				{
  					if (participant.contains(controller)) return false;
  				}
  			}
  		}
  		return true;
  	}
docs: Checks if the controlled Interaction contains a controller as a participant. This constraint
  filters out such cases.
  @param match current pattern match
  @param ind mapped indices
  @return true if participants of teh controlled Interactions not also a controller of the
  Control.