Cannot import ABY circuit to UC

[StickBrush]

Hello everyone! I'm having an issue porting circuits from ABY to UC to use private function evaluation. I'm following this workflow:

1. Design the circuit in ABY.
2. Export the circuit (server-side) to a txt file in Bristol format using circuit::ExportCircuitInBristolFormat.
3. Convert the Bristol-format txt using ./bristol <txt filename>.
4. Generating and testing the UC using ./UC <txt filename>_SHDL.circuit.

It is at this last step that I cannot get UC to work. I consistently get a SegFault right after Block-Edge Embedding, even in very simple circuits.

I'll attach two of the circuits I'm testing to this issue so you can replicate the problem. One should do an AND between a server-provided and client-provided value. The other one should test whether both values are equal or not. Thanks in advance!

and.txt equal.txt