include may-point-to analysis for better handling of ifs