classify object allocations as pure if their arguments are