Function map 

pub fn map(xag: &Xag, group: &[u32], outputs: &[Lit], k: usize) -> Mapping

Map xag onto LUTs of at most k inputs (2 ≤ k ≤ MAX_K), its supergates confined to groups (one entry a node), covering the nodes outputs read.