Fix syntax errors in DSATUR