updated to API change from i283

clafer now returns [ CompilerResult ]