The most important change is the one in java/src/main/java/com/runtimeverification/rvpredict/trace/Trace.java and I could have made a pull request containing only that.
However, the fix in java/src/main/java/com/runtimeverification/rvpredict/signals/EventsEnabledForSignalIterator.java makes sure that signal locks can't occur in traces in some rare cases when the interruption point is not computed properly, so I guess it's worth including it.
The most important change is the one in java/src/main/java/com/runtimeverification/rvpredict/trace/Trace.java and I could have made a pull request containing only that.
However, the fix in java/src/main/java/com/runtimeverification/rvpredict/signals/EventsEnabledForSignalIterator.java makes sure that signal locks can't occur in traces in some rare cases when the interruption point is not computed properly, so I guess it's worth including it.