LogicBlox pointer analysis part of the thesis