Breaking up LambdaInfo into two parts: a LambdaInfo with only surface
features of the lambda that are relatively quick to find and a
LambdaAnalysis which contains the more expensive symbolic execution
analysis.