Improves the backjump level by looking to falsified literals only

6 jobs for master in 113 minutes and 43 seconds (queued for 1 minute and 48 seconds)
Status Job ID Name Coverage
  Build
passed #31600
jars-j8

00:02:00

passed #31599
java8-sonar

00:31:30

 
  Test
passed #31601
java7

00:19:49

passed #31603
maven36-java11

00:21:01

passed #31604
maven36-java13

00:20:34

passed #31602
maven36-java8

00:18:47