Fix initialisation of strictness in the demand analyser