Corrected content model of negation for extended logic programs supporting naf-neg
Merge pull request #46 from greenTara/master

Alias renaming