readsFrom
fun ExpressionNode.readsFrom(nameAnalysis: NameAnalysis, protocols: Set<Protocol>): SelectionConstraint
States whether an expression reads only from the protocols in protocols.
fun LetNode.readsFrom(nameAnalysis: NameAnalysis, to: Set<Protocol>, from: Set<Protocol>): SelectionConstraint
States that if the let node is stored at any protocol in to, it reads from only the protocols in from.
fun DeclarationNode.readsFrom(nameAnalysis: NameAnalysis, to: Set<Protocol>, from: Set<Protocol>): SelectionConstraint