Added app reasoner, to keep the Judge, Graph, etc.