This is a notable gap in WALA's call graph construction algorithms for Java bytecode. I haven't worked out the full algorithm but I don't think this should be too hard to support. Need to somehow pattern match on the IR or bytecodes and model the class that gets generated for the lambda. Not sure if we want to also update the ClassHierarchy in the process.