added a feature request, noted work already done
added __SMACK_INIT() and __SMACK_atomic_begin/end(), and preamble comments
added more error codes, started using one line per initial letter of alphabet for human readability
header file to define macros and similar stuff needed by sv comp