adds proper cirref handling