Rewrite the whole DowngradeConstraintsTest class

No match.