Fixed mapping of Verific FADD primitive with unconnected outputs
Fixed mapping of Verific WIDE_DFFRS operator