#KJ-42 KJ-47 Investigate failing symbolic execution on Jenkins. Corrected both problems.
Problem 1 (search stuck): converted a lot of functions from primitive-types to not be pure functions anymore and use 'If when needed.
Problem 2 (non-termination): discovered the problem in functions getTypes() and paramTypesResolved() and corrected them. Curiously the problem was only activated by symbolic execution, due to probably different rule order in maude output.

Result: symbolic execution without search works, but produces huge path conditions. Search gives timeout after 5 minutes of execution.