performance tweak in ABoxRecomputer