should handle assume statements correctly