Added several new entailments, one of which found a bug.

Run:
[test/qldarch_tests], [api(qaapi)], run_tests(entailment:entailment).
To display error.

Creating erroneous entities in reconciliation.