Use subsumes to replace equal check in an assert check in VolcanoPlanner.