Now converting constraint-state-messages to CRAM-internal data structure before pushing them into the state fluent.