private boolean tryToDeduceType(GimpleCompilationUnit unit, GimpleFunction fn, GimpleVarDecl decl) {
AssignmentFinder finder = new AssignmentFinder(unit, fn, decl);
fn.visitIns(finder);
if(finder.possibleTypes.size() == 1) {
GimpleType deducedType = finder.possibleTypes.iterator().next();
System.out.println("...resolved to " + deducedType);
decl.setType(deducedType);
return true;
} else {
return false;