Local Reasoning about Web Programs