Error from QASM conversion with range predicate and non-default register width

[cqc-alec]

from pytket.circuit import Circuit, reg_geq
from pytket.qasm import circuit_to_qasm_str

c = Circuit(1)
a = c.add_c_register("a", 8)
c.X(0, condition=reg_geq(a, 1))
qasm = circuit_to_qasm_str(c, header="hqslib1", maxwidth=63)

Result: NotImplementedError: Range can only be bounded on one side.