added last updates from sv-comp