Make some user constants mandatory

[RomainTT]

A sequence file may describe some mandatory constants that must be given by user at runtime, and raise an error if one constant is not given.