fix evaluation method for ensure_that