Function slt 

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

a <s b: unsigned with the sign bits flipped.