update PropEqual...#isEntailed()
Merge branch 'feature-ama' into develop