Conclusion.getSourceContext() can return null if the notion of "source
context" is meaningless for certain kinds of conclusions, e.g.,
propagations
tracking newly created contexts as not saturated in the saturation state
writer
Merge remote-tracking branch 'origin/elk-new-incremental' into elk-new-incremental