Moved utility code.
Utility function for optional second successor.
Utility function for constructing outputs.
Added definition of SIGNED-ADD-INSTRUCTION.
Added definition of SIGNED-SUB-INSTRUCTION.