adding attribute to identify assumes that were generated from
if-then-else