Minimal test case for the min() max() issue.