Add SV-COMP'13 Stateful benchmark as functional test