Function add 

pub fn add(g: &mut Aig, a: &[L], b: &[L]) -> Bits