Function format_string_check 

pub fn format_string_check(
    node_count: u32,
    format_arg_pts: &str,
    non_literal_set: &str,
    out: &str,
) -> Program

Build the canonical security bitset-subtraction program.