Add ConstEvalAig specialised for AIGs