public SynthesisResultHandlingMonitor(WorkspaceEntry we,
            boolean boxSequentialComponents, boolean boxCombinationalComponents,
            boolean celementAssign, boolean sequentialAssign, Collection<Mutex> mutexes) {

        this.we = we;