Fixed ┌─┐ ┌─┐ │A│ │B│ └┬┘ └┬┘ No lifeline color with ┌┴┐ │ !pragma teoz true│ │ │ ──────────────────────>│ │ │ │ │ │ │ │ ┌┴┐ │ │ ────────>│ │ │ │ └┬┘ │ │ │ │ │ <─ ─ ─ ─ ─│ │ │ │ │ │ │ <─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ │ │ │ └┬┘ │ │ ┌┴┐ No lifeline color with │ │ │ !pragma teoz true │ │ │ ────────────────────────> ┌┴┐ │ │ │A│ │ │ └─┘ │ │ └┬┘