fixed behaviour of trivial inference rules