ensure assertions library is loaded