Hybrid Analysis | LogicLark