[03-07-13] 'gen-opposite-terms-mutexes' function added.