Actually use simplified lambda

This change prevents assertions triggered in closure.ml:1023
(and why simplify if not use the simplified version)

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>