Update air-reasoner code