szs: add representation function
subprover: set new options for eprover
subprover: checked szs for false status
subprover: add strace facility
automation: rewrite subprover call to always check state, even when no new formulars are avaible