Avoid `require` clause if the given patterns are known to be concrete

[Stevengre]

I saw USEGAS_CELL in the require clause for the summary rules. We might need to remove them to improve the performance for no-gas's symbolic execution.

@anvacaru @palinatolmach @ehildenb What's your suggestions?