No feedback when timeout in INITIALISATION

When the INITIALISATION takes too long the Events view only shows the operations as unavailable. There is no feedback to the user in the Events view that the there was a timeout when computing the initialisation.
An example would be the following:

machine SetMinusScalingTest

variables s2 s1

invariants
@inv1 s2 ∈ ℙ(ℤ)
@inv2 s1 ∈ ℙ(ℤ)

events
event INITIALISATION
then
@act1 s2 ≔ {x∣x∈1‥900000 ∧ x mod 3 =0}
@act2 s1 ≔ {y∣y∈10000‥900000 ∧ y mod 2 = 0}
end

event SetMinus
then
@act1 s1 ≔ s1 ∖ s2
end
end