keep coercions on heap accesses and function calls, but fully optimize them otherwise