default assume_constants_shape_ok to True