Add init method to initialize a value in claim 'number' (avoiding tests to crash)