Format pattern matching is working now. There is no OR mode for complete blocks as it would have introduced unreasonable complexity due to context save and restores required at each check (the analyser needs to modify its internal state according to the valid format description, but should the OR fail the previous state would have to be restored). Simply adding two different descriptors can do the same thing anyway, and that is supported at the data level.
Hacked the results into the existing system; this should be changed later to a proper version once the new format generation is in place.
Already Speedlock 1986 version patterns are fully described. What seemed to be like two slightly different versions turned out to be 3 once the analyser was tested on all available images.