Fixed subterms in lambda engine