}
else if (tPolicy instanceof AtImpl){
//Already primitive. Recurse on contained policy
AtImpl temp = (AtImpl) tPolicy;
Policy tempA = temp.getPolicy();
Object var = temp.getVariable();
//translate contained policy
tempA=translate(tempA);
// Create translated policy
translatedPolicy = new AtImpl(var, tempA);
}
else {
// Else (not a supported policy variant), throw exception
throw new IllegalArgumentException("The given policy is not supported by the Translate method: " + tPolicy);