[armedbear] #390: ABCL-ASDF:RESOLVE not working