TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys