Fixes after inclusion of inference rules in Stratego output