handling arguments in priorities when translating to sdf2