switched to fancy translation method and translated binary expressions