Take b: Try to resolve mate positions faster

An attempt at streamlining preconditions