Call found from outside the event loop for now.
Fix bug in pretty-printing of properties.
Fix bug in alwaysSimplerThan.