Fix overconstrained test