Add ID, STR and INT predicates in the analyze blocks

Add special predicates that refer to the analyzed program. These are defined only inside an analyze block.

ID(nid, name) - maps and identifier (variable, predicate) to its name STR(nid, str) - maps a string constant to its value INT(nid, i) - maps an integer constant to its value