1 2 3 4 5 6 7 8 9 10
pred():bool test() { if pred() { } else { } } //@PRACOWNIA //@stop_after typechecker