New boolean option -eva-octagons-through-calls to specify whether the octagons
are propagated through function calls.