Added visitor interface for statement checker
Added visitor accept method to FormStatement
Implemented visitor accept method to children of FormStatement
Beginning of StatementChecker
Renamed condition field to expr field in ConditionBlock class
Implemented functionality for StatementChecker