Yalo_test_CAMELOT.Test_CAMELOT_26_redundant_and
val f1 : bool -> bool
val f2 : bool -> bool
val f3 : bool -> bool
val f4 : bool -> bool