public SpecDeclaration(string isSatisfiedOn, IVisitableMemberNode visitableMemberNode) => (IsSatisfiedOn, VisitableMemberNode) = (isSatisfiedOn, visitableMemberNode);
public void Visit(IVisitableMemberNode visitableMemberNode) => visitableMemberNode.Accept(this);