Function may_alias 

pub fn may_alias(
    node_count: u32,
    pts_p: &str,
    pts_q: &str,
    intersect_buf: &str,
    out_scalar: &str,
) -> Program

Build a may-alias Program. Inputs:

• pts_p, pts_q: per-node points-to bitsets.
• intersect_buf: scratch.
• out_scalar: 1 if the points-to sets overlap, else 0.