Filter out the State Distribution option if a trace do not have states