Every variable appearing in negative literal must appear in positive literal.
 Changes to be committed:
	modified:   parser/kif_driver.cpp
	modified:   parser/kif_parser.yy
	modified:   parser/token_value.cpp