The value of an inner parameter is kept in sync with the corresponding object field if and only if it was not initialized using the constructor.
See https://github.com/finkn/InPUTspec/blob/master/main/src/net/finkn/inputspec/v050/ValueConsistencyTest.java for details.