Found a bug with extensional head rules where destination peer was still checked. This caused tuples to not come over when should and come over with restrictions. Found another bug in basic access control for fully local body but nonlocal head rules not handled correctly. Both fixed. Finished optimization 1. Tested. Tests updated.
Merge branch 'master' of https://github.com/vzaychik/webdamlog-engine