Preserve clause ordering of requires and ensures when internalisig rules in booster

Preserve clause ordering of requires and ensures when internalisig rules in booster #6699