On the Optimization of SBST Test Program Compaction