VIVO-614 faster model reconciliation in ABoxRecomputer