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>