Failure(``Simplify raised exception End_of_file'')Is Simplify in your path?
Failure(``convertExp: This expression Eq should not be handled here'')Blast does not like expressions like
return (x==y);Change this to
if (x==y) return 1; else return 0;Similarly, change
a = (x==y) ;to
if (x==y) a = 1; else a = 0;and similarly for the other relational operators <=, >=, >, <, !=.