removed unnecessary out argument from relations inside the letrec