Because of the new language notation various checks in CORE have become invalid. However, it is not sure if there are new inconsistencies that CORE should be able to detect.
Log in to post a comment.
