The Free On-line Dictionary of Computing (30 December 2018):

maximal free expression
MFE

   (MFE) A free expression is sub-expression of a lambda
   abstraction not containing the bound variable.  A maximal
   free expression is a free expression not contained within any
   other free expression.  See full laziness.