Fix #203

fix isEntailed bug
Strenghten the isEntailed() method
add a JL test
Merge branch 'feature-div' into develop