Kaba function simplify.normalize ed

...

Syntax ed

func static simplify.normalize(_t: shared![Term]) -> shared![Term]

Parameters ed

_t: shared![Term]

...

Return ed

...