Recompiles lambdas using expression trees and adds null checks. The result is returned in a maybe monad.