066 duplicate proc

⏭ Skipped This test is currently skipped.

QUESTION: Is duplicate proc intentional (last-wins) or should it be rejected?

Code

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.