correct aliasing in RABL