Include well founded in make file; actual correction of transitive closures;  add some basic lemmas
Merge branch 'master' of https://github.com/nhhai196/Authentication-Tests