external loop code does not work with Float (UF)

[rdaly525]

Failing test in branch:float-test

to reproduce:
pytest tests/test_aadt_mapping -k test_external_loop_UF

The external_loop speedup mechanism cannot handle an uninterpreted function in the SMT formula.

This is needed for Lassen.

[rdaly525]

@jack-melchert do you know Nestan's github name?

[jack-melchert]

No I'm not sure what it is, but I sent her this issue on slack.

[rdaly525]

@ntsis

[rdaly525]

@ntsis and @cdonovick any update on how to resolve this issue?