Removed duplicate declaration of C macro.
Updated collatz example with slightly bigger constant and Main/main declarations.
Smaller LAR representations for the single-threaded runtime using lar_opt.h.