[04-07-13] 'gen-conflict-terms-mutexes' and auxiliar functions added.