Z3_goal_prec constructor

Z3_goal_prec()