parse relDef → ?guard  relSym params iff Stmt