Avgör om en formel är sluten eller rekursiv