Need for node introduction in CST.hs for formation with inlined operations fails

[0pdd]

The puzzle 163-2ad52ab6 from #163 has to be resolved:

phino/src/CST.hs

Lines 267 to 270 in c8fdefc

	-- @todo #163:30min Introduce node for formation with inlined voids.
	-- We need to be able to print formation with inlined void attributes:
	-- x(a, b) -> [[ y -> 1 ]] => x -> [[ a -> ?, b -> ?, y -> 1 ]]
	-- Don't forget to extend toSalty instance so such sugar.

The puzzle was created by @maxonfjvipon on 28-Oct-25.

Estimate: 30 minutes, role: DEV.

If you have any technical questions, don't ask me, submit new tickets instead. The task will be "done" when the problem is fixed and the text of the puzzle is removed from the source code. Here is more about PDD and about me.