@staticmethod
def _lex_lte(x, y, bits):
    """
        Lexicographical LTE comparison

        :param x: The first operand (integer)
        :param y: The second operand (integer)
        :param bits: bit-width of the operands
        :return: True or False
        """
    return x & 2 ** bits - 1 <= y & 2 ** bits - 1
