Use counterexample viewer from JKind API
Add linking in new counterexample view