Fixed bug: 0-ary atoms were not recognized.