Add Thread class that encodes concurrency as partial orders
Add SV-COMP'13 Fibonacci benchmark as functional test