Found a very small example which our netlist generation can't handle.