fix bug in decompiler: did not use the correct assembly resolver