Synopsys (SNPS) Moves Ahead in Ansys Merger After FTC Divestiture Order