Annotate conditionals with assert and refute
Add annotation helper functions
Add extremely simple test program