minor post-processing initial Integration

When i think of it , what is required for SuReal is a fully-abstracted version for all rules.