Synopsys (SNPS) Targets a 42% Non-GAAP Operating Margin. How Much Is the Ansys Acquisition Distorting Profitability?