finish:slot assignment and record condition of slots in the path