Tag contract analysis