/prune removes relevant information

[glor]

While modeling a type system this code:

type Any;
const unique undefined : Any;
function isUndefined(value: Any): bool;
axiom isUndefined(undefined);

procedure test() returns () {
    assert isUndefined(undefined);
}

gets /pruned into:

type Any;
const unique undefined: Any;
function isUndefined(value: Any) : bool;
procedure test();
implementation test()
{
    assert isUndefined(undefined);
}

This removes the relevant information that isUndefined() should hold for the value undefined.

files.zip