Record pass number in SemanticState