New tests for the forward function (simple ands and ors)