add update-implies to info.rkt