add maintaining hyper-arc consistent procedure.
fix performance bug.