Fixed problem when trying to add rule with impossible left side.
For now i assume that impossible to realize rule will be added into knowledge base.
Fixed rtest1 - added conflicts stack printout.
Added 2 additional test suites.