added initial contents, per webpage http://sv-comp.sosy-lab.org/2014/rules.php