cleaned up popPC, pushPC, and resetPC. addAxiom should now work.