Fix tests for ExplainDifference
Add ExtractArgument
Add MinInt and SplitFormulas