add timeout
adapt to Complex changes: Isabelle 48a745e1bde7
remove harmful NOMATCH
removed undefined theorem name