In discrimination nets, do not index lambdas if they're part of a beta
redex.