Try to convert tinv_test.net, a simple circuit with inverters, noteably