code: protected PMultipleBind getMultipleSetBind(PExp setExp,
  			ILexNameToken... patternNames)
  	{
  		ASetMultipleBind setBind = new ASetMultipleBind();
  		List<PPattern> patternList = new Vector<PPattern>();
  
  		for (ILexNameToken patternName : patternNames)
  		{
  			AIdentifierPattern pattern = new AIdentifierPattern();
  			pattern.setName(patternName.clone());
  			patternList.add(pattern);
  		}
  
  		setBind.setPlist(patternList);
  		setBind.setSet(setExp.clone());
  
  		return setBind;
  	}
docs: Create a multiple set bind with a varargs list of pattern variables, like a,b,c in set S. This is used by several
  obligations.