In some cases, calls to external libraries get reified as methods with proper signatures,
but without parameters.

I am trying to reproduce this using the following example (in ad_hoc/MultipleSignatures.java):

package ad_hoc;

import java.io.PrintWriter;
import java.io.StringWriter;

public class MultipleSignatures {

    public void callToRegularPrintStackTrace(Throwable t) {
        t.printStackTrace()
    }

    public void callToPrintStackTraceWithParam(Throwable t) {
        t.printStackTrace(new PrintWriter(new StringWriter()))
    }
}

I encountered a similar code in a case study. However, in this case, I cannot even
get the parser to recognize both printStackTrace calls.