Modelica Discrete Semantics

Question

I am trying to understand the Modelica semantics for a discrete signal. Given a step signal that instantaneously transitions from 0.0 to 1.0 with infinite slope at t = 0.5. Then

Answer 1

My instinct tells me that you may need a pre() for the conditions, but it's just my guess.