More correct program slice