eval' (And p q) k u = eval p (\b-> if b then eval q k u else k b) u
eval' (And p q) k u = eval p (\b-> if b then eval q k u else k b) u
eval' (And p q) k u = eval p (\b-> if b then eval q k u else k b) u