private List<Constraint<?>> buildQuery(PathCondition pc,int conditionIndex){
  PathCondition negatedPathCondition=pc.negate(conditionIndex);
  List<Constraint<?>> query=negatedPathCondition.getConstraints();
  List<Constraint<?>> simplified_query=reduce(query);
  return simplified_query;
}

private List < Constraint < ? > > buildQuery ( PathCondition pc , int conditionIndex ) { PathCondition negatedPathCondition = pc . negate ( conditionIndex ) ; List < Constraint < ? > > query = negatedPathCondition . getConstraints ( ) ; List < Constraint < ? > > simplified_query = reduce ( query ) ; return simplified_query ; }
creates a solver query give a branch condition
