finite env (EVar x)             = x `elem` args env || maybe False (finite env) (lookup x (eqns env))
finite env (EVar x)             = x `elem` args env || maybe False (finite env) (lookup x (eqns env))
finite env (EVar x)             = x `elem` args env || maybe False (finite env) (lookup x (eqns env))