Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base | IEEE Conference Publication | IEEE Xplore