render separator depends on the state of the precondition of the segment