usedIn env (LApp _ e args) = usedIn env e ++ concatMap (usedIn env) args
usedIn env (LApp _ e args) = usedIn env e ++ concatMap (usedIn env) args
usedIn env (LApp _ e args) = usedIn env e ++ concatMap (usedIn env) args