Rewrite the whole DowngradeConstraintsTest class