Create a 32-bit category of Termination benchmarks

Created by: tautschnig

The product-line files had been processed using Cil to use pointer-arithmetic to access struct members. This may cause different behaviour when moving th 64-bit architectures.