<imp> assertion characterBodyControlDefault : skipped over state*