poser3/Prove-It — pull request #33 by lee-vian (2014-04-15 14:52:09+00:00)
Title: Don't identify variables with the same name

Now, when a variable is encountered with the same name as an existing
variable, the parser will just make sure that the new variable has the
same type as the old one.