Merge branch 'feature/tracing', remote-tracking branch 'origin/feature/tracing' into feature/tracing
implementing "local" rules for certain conclusions - those which never
produce conclusions which belong to contexts different from the context
that the premise belongs to. this helps avoiding duplicates and tracing
contexts which shouldn't be traced. new tests.