Fix functions as default values in records

successful check_value/2 needs to return its second argument