Bool conversion Bug, e.g. x := bool(p or p2)