remove an assignment which is never used.
add checkpoint