Added some of the common *at functions to the model
Lower intrinsic instruction "llvm.trap" to a call of the abort() function.
Obey --max-forks in switch statements
Merge pull request #27 from antiAgainst/intrinsic-trap

Lower intrinsic instruction "llvm.trap" to a call of the abort() function.
Merge pull request #25 from paulmar/master

Added some of the common *at functions & others to the model.  Obey --max-forks in switch statements.