Update invariant ok message (invariants ok)

Signed-off-by: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>