}
else if (tPolicy instanceof BindImpl){
//Already primitive. Recurse on contained policy
BindImpl temp= (BindImpl) tPolicy;
Policy tempA = temp.getPolicy();
Object var = temp.getVariable();
//translate contained policy
tempA=translate(tempA);
// Create translated policy
translatedPolicy = new BindImpl(var, tempA);
}
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);