Small hack: When violations are not allowed, transform any
weight>BIG_VALUE into infinity..