Test the combinator with 3 BDDs