Reasoner enhanced to somehow approximate ressource consumption and provide more debbugging output at program termination.