Second minimization test case added: works