Avoid that conditions in initial state must end by "_0"

[dgerod]

At this moment it is necessary that conditions in the initial state finish by the "_0". That is: in_place_0 & NOT closed_0, when this should be in_place & NOT closed.

Finishing by "0" is a requirement of the algorithm that validates the CBT but not a user requirement. Therefore, this prefix should be added by the software after receiving the initial state instead asking the user to add conditions with that suffix.