Fixed issue with forward inference and negations. i-infer messages were being sent from the negation which makes no sense as negations have no outgoing i-infer channels. This was preventing the appropriate u-infer message from being sent, as it appeared identical to the i-infer message already "sent".