Fixing SymmRefiner

Tests were not functional. Fixing them revealed an additional
bug in SymmRefiner's handling of small loops, which is now fixed.