#include "z3++.h"

void recordBranches(z3::expr_vector &OldVec);
void searchStrategy(z3::expr_vector &OldVec);