Any one knows if is possible to get yosys to create human friendly register names? I lost the RTL name immediately after mapping to flops