Use seec::util::IndentationGuide to print SeeC-Clang Mapped states.

Fix bug with incorrect relational operator in assert in
seec::util::IndentationGuide.