ForwardSubstituteLazyExpressionUsedOnlyOnce ;)