add IncCas invariant annotations
add IncTrue program points
add IncCas expected results.
add expected results
add invariant annotations