/Solvers/dreal4/bazel-bin/dreal/util/_objs/predicate_abstractor/
../
predicate_abstractor.pic.d
predicate_abstractor.pic.o