test amendments in checkpoint.cpp