added simple versions of WTC'14 TCAS benchmark

Not runnable and seems to evaluate statically using LLVM -O1.
Retrieved: http://www.irit.fr/wiki/doku.php?id=wtc:benchmarks:tcas