Revision 3684

Added refineAll() to BuckleyDomain.
It still assigns too many unknowns though.
Level 1 should have 8 leaves and 27 unknowns not 8 leaves and 64 unknowns.
Considering using a hashtable for this.
Alternatively can follow the neighbour pointers ...