Renaming

@aJanker I changed the exists quantifier in !forall, so it reflects the name of the isValidInProgram function.
Additionally, isValidInProgram is now checked for all presence conditions of referenced identifiers; this is actually to much, as we only have to check externally visible declarations!