fix bug in script, fix bug in parsing(non-defined sorts in predicate declarations)