#57 Normalization application

[Anonymous]

If I apply the normalization to the expression

normalize [ \Delta AState | second' = (second + 1) \mod 60 ]

I get the expression

normalize [ [ AState; AState' | \true ] | second' = (second + 1) \mod 60 ]

The function application "normalize _" was not suppose to disapear
after the nomalization?

The same problem happens with the schema

[AState' | (second' = minute') \land (minute' = 0) ]

[Nobody/Anonymous]

The circus specification with the definitions of AState and RANGE