Main can be unexpectedly lazy when it expands into a function with combinators

[developedby]

Reproducing the behavior

main = my_fn
my_fn = (@x x (ctr 1 2))
ctr = @a @b @x (x a b)

We expect this program to reduce to @a (a 1 2), but since the application is a combinator it actually gets extracted before expanding main, leading to the result being (ctr 1 2) instead.

System Settings

Bend commit 060239a
HVM: v2.0.21

Additional context

No response

[developedby]

Closed by #644