Start of the NuSMV translation.
Must declare inputs / outputs.
Need to declare inputs and outputs in node now.