generifying assertion condition to use Callable rather than Probe