debugging array constraints
simplified mem stores (only support known base addresses right now