+ mark the alloc routines as no alias (=attribute(malloc)).
  This marks every alloc call as noalias in the IR.
  (While I felt somewhat frightened by the malloc attribute AFAIK the generated IR looks reasonable.)
+ inline the trivial Box constructor
+ fix dead allocs pass: we will now remove the useless list creation inside f2 in speculation_test.py