Add reasoner extesion files