joliebig/Morpheus — pull request #2 by joliebig (2014-06-12 12:26:30+00:00)
Title: 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!