Core: Parse branches' guarded_statements.