Lite extra symmetry breaker och implied constraints i rapporten. De är inte implementerade.