protected void encodeBody(Encoder encoder) throws IOException {
		// No body by default
	}
Encode information about the block to stream,
other than header and edge info
@param encoder is the stream encoder
@throws IOException for errors writing to the underlying stream
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/PcodeBlock.java