Added jkind code that will eventually get integrated for nicer reasoning output. Fixed a problem with the microwave example. Significantly simplified how nodes are ordered for translation.