it('Configures PostconditionError property', () => {
      configure({ PostconditionError: CustomError  });
      expect(contract.PostconditionError).to.equal(CustomError);
    });