Num and Label cases for Pred
BinExprs of one variable
L3c passes our tests