Searching in owl-bot-postprocessor/synthtool/sources