Remove elimination of calls to cond
As soon as the predefined (and currently externally defined) function cond
is implemented using regular Curry code (which is possible without any problems), this phase can be completely removed.
Edited by Finn Teegen