updated optimization strategy + reaching found/not found in inlinable + half of beta reduction (lambda)
updated optimization strategy + reaching found/not found in inlinable + half of beta reduction (lambda)

matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff