Only generate symbol if we are in a separate flow-stmt
Better checks on distinct pointer types
Added __TIMESTAMP__ todo