method contains_fragmentation_data in MzidFile model so spectrum div appears only when true