annotate complex conditions test