`a &&b ` is not caught as tail call

[bobzhang]

for example

let rec f b x = b && f b x 

and

let rec f b x = b || f b x 

should be compiled into a loop