Specification Faithfulness in Networks with Rational Nodes