Looking over it, the old license needs to be removed. The documentation for enforce() should clearly state that it is not to be used for bug detection (use contracts and asserts instead).