refactored and refreshed auto-generated instances

Signed-off-by: greenTara <taraathan@gmail.com>
revise the approach to negations, as described in Issue #40

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

fixing negation approach