Add 'abs' SMT function