lhs -> hs
Extract ELeaf
ELit moved above use
benchmark: Print the benchmark infers