Implemented translation of binary prediactes.
New AbstractTranslator functions for accessing elements.