* isGranted now is called meets, isAsserted now is called isGranted.
* Improved codecoverage, improved tests