question: static void addTemporalLevelConstraintToConstants ( HashSet params , SetOfLevelConstraints constrs ) { Iterator iter = params . iterator ( ) ; while ( iter . hasNext ( ) ) { LevelNode node = ( LevelNode ) iter . next ( ) ; if ( node . getKind ( ) == ConstantDeclKind ) { constrs . put ( node , Levels [ ActionLevel ] ) ; } ; } }
target:  The following method adds to constrs a level constaint that the         level of C < TemporalLevel for every declared CONSTANT C in the set     params of nodes.                                                        * Called when level checking an ASSUME statement or an ASSUME/PROVE to    prevent a declared constant that appears in it from being               instantiated by a temporal formula.  Added by LL on 1 Mar 2009         