lambda constraints encoded by recurrence directives