[banana] Bump sbt to 0.13.7-RC4.
[ldpatch] Generalizes triples with graph rule.