Add output processor to flowdroid tool