long end = System.currentTimeMillis();
log("Performed type expansion ... [" + (end - start) + "ms]");
}
start = System.currentTimeMillis();
new TypeInference().infer(sf);
if(debug) {
long end = System.currentTimeMillis();
log("Performed type inference ... [" + (end - start) + "ms]");
}