LRA reading non-linear operations
How to run: /hifrog --sum-theoref sumth31.c
Error: --Reading LRA summary file: __summaries_lra
Non linear operation encounter in file __summaries_uf. Ignoring this file.
terminate called after throwing an instance of 'std::logic_error'
what(): During refinement we lost summaries for func
Command terminated by signal 6
Benchmark is attached.