final Program subProgram = getTMUtility() .mapForTruthMaintenance(step, focusStore);
final Program subProgram = getTMUtility() .mapForTruthMaintenance(step, focusStore);
final Program subProgram = getTMUtility() .mapForTruthMaintenance(step, focusStore);
final Program subProgram = getTMUtility() .mapForTruthMaintenance(step, focusStore);