Add invariants generated via R_Tool to comments.
Add testing script.