update usage of sv-comp script