Semantics of fixed initialization of clocked variable

[henrikt-ma]

I find if odd that the chapter on synchronous features speaks nothing about pre(x) for a clocked variable, but still mandates that a clocked variable appearing inside previous(…) shall be treated as if it had fixed = true, which implies pre(x) = x.start during initialization. There is nothing obviously inconsistent about this, but it feels odd that the equation pre(x) = x.start seems more related to variables assigned in when-clauses than clocked semantics. Am I missing something, or is there something needing clarification?