-- Predicates for each of the context types
is_appfirst_ctx, is_appsecond_ctx, is_letbinding_ctx, is_letbody_ctx, is_lambdabody_ctx
 :: CoreContext -> Bool

is_appfirst_ctx AppFirst = True
is_appfirst_ctx, is_appsecond_ctx, is_letbinding_ctx, is_letbody_ctx, is_lambdabody_ctx
 :: CoreContext -> Bool
is_appfirst_ctx AppFirst = True
is_appfirst_ctx AppFirst = True