Sadly, I'm afraid this is the correct legal answer.  I just don't see a nullification provision anywhere.  Think about all the repercussions too.  Eight budgets signed into law unlawfully.  Judicial appointments, military appointments, agency appointments, executive orders, international negotiations.  It would be a shitshow to figure out how to unwind it all.  If you try to unwind just one thing (say Supreme Court appointments), then the same logic applies to everything.    I think Trump is looking for a way to nail Obama going forward.  Or for treason, which is not pardonable.  And then, while playing that card, he will red pill America on the fraud that Obama was ... and the Dems' knowing support of a guy who should never have been on a single ballot.