Fix #371. Call-by-need instead of call-by-name.