a := step(0,1)
b := step(0,2)
c := step(0,3)
# (a /\ b) + c = stair(0, 4)
# d(0+) = 4
d := a/\b+c
d(0+)
# (c + a) /\ b = stair(0, 2)
# e(0+) = 2
e := c + a /\ b
e(0+)
