Added eager-check in context analysis.

The context analysis phase now checks if all right-hand sides of a
local definition in a recursive let-binding are lambda-abstractions.