Minor syntactic sugar for DSATUR