only consider usage at the CmpInst when sfp is null or empty(); next step: using the new definition of the usage (basic block) and try to visualize the results in the log