Searching in examples/rule_based_toolchain/static_answer