implemented translation of expressions to sdsl