Separate and optional size thresholds for SpecConstr and LiberateCase