Concurrent programs (pthread). Contributed by Alexander Kaiser and Michael Tautschnig from the CProver team.