Fixed #188 by making 2.12 an untested rule, as it cannot be deterministically verified.