testSimpleStackTrace
Tests the query
?- foo(X).Content copied to clipboard
where baz/1's body is X is Y + 1 with Y unbound, so an instantiation_error is raised; the resulting logicStackTrace is [is/2, baz/1, bar/1, foo/1, ?-/1].