GitLab

verify that Projs are in the same Block as their predecessors (and fix bugs in firm where this wasn't the case)

[r26163]