Predicate definitions::getAWrite

Gets a node that may write the property read by prn.

ASTNode getAWrite(PropRead prn)