* @param call a call to the method containing the return statement.
* @param to the statement receiving the alias information. This is a successor of <tt>call</tt>, and corresponds to the {@link #after} field.
*/
private void transferReturn(Return returnStm, Call call, Statement to) {
Method method = returnStm.getMethod();
MethodHead head = method.getEntry();
AliasInfo beforeCall = getInfoBefore(call);
AliasStatus status;
// add aliasing between arguments and return value
// and corruption of parameters to corruption of arguments
for (int i=0; i<head.params.length; i++) {