isStableSource :: UnfoldingSource -> Bool
-- Keep the unfolding template
isStableSource InlineCompulsory   = True
isStableSource :: UnfoldingSource -> Bool
isStableSource InlineCompulsory   = True
isStableSource InlineCompulsory   = True