Adding some helpers to draw more complex inference rules