Fix deciding if a package is infeasible