isCompulsoryUnfolding _                                             = False
isCompulsoryUnfolding _                                             = False
isCompulsoryUnfolding _                                             = False