fixing negation approach, and adding documentation of redefinitions

Signed-off-by: greenTara <taraathan@gmail.com>
refresh auto-generated instances

Signed-off-by: greenTara <taraathan@gmail.com>
Merge pull request #44 from greenTara/master

fixing negation approach