ensure transitivity for 'value' and 'maximum' properties. fix variable scope in test file.