// the variable could be analyzed - if the actual return
// type is 'interesting' (like the WebApp arg is found
// for makeURL)
State state = stateMachine.getState(method);
state.addSuccessor(new AnyTransition());
Feedbacks.add(new AnyTransitionUsed(method, st));
} else if (right instanceof JNewExpr) {
queue.addAll(handleNewExpression(stateMachine, method,
st));
}