My question is my definition of strict correct? or should it be reload_in_progress || reload_completed?
This is not my area of expertise, but "reload_completed" is definitely too weak.
I actually think strict should always be true when testing for satisfaction of constraints.
Paolo
