Assignment now knows about Invalid Packages.
First take on MUS-bfs search