added the transformation for mutex into predicate for mutex with one operation
added the conjuction to the existing predicates from mutexes.
added the multioperation mutex tranformation to permission predicates