Implemented 'translateBoolClosure'.