Should call "fail()" when callProcedure unexpectedly succeeds.