Fixed dcsloop implementation and prove equivalence of noc_etalon/plant.ssm to noc_etalon/plant.tf