deletes NodeVariable.scala
deletes SelectVariable.scala
adds Label.scala
comments out main (currently invalid)
deletes Printer.scala
CNF_maker now uses a label; creates skeleton
comments out solver (invalid atm)
ian_test lol
fixes bug where NodeInfo recusion