Add `ExpandLoopIntegrals` function
Test internal representation of NLO-C
Refactor `simplifyRules`