Did the MethodReturnVisitor

It seems to be working! I made it so that for statements automatically
return false, because we can’t guarantee that they are executed at all.

Got rid of the old semantic analyzation for return statements.
Added the semantic analyzation to use the new visitor (in the “analyze”
method).
Fixed some formatting
Added a test to the EmptyProgram.btm file in the shared tests file.