AST: add predicated property to branch statement

AST: add predicated property to branch statement #454