Fix: a minor typing bug for SETI instruction;
Remove: some unused codes.