added true positive test for check_loop_types
Improved testing of check_loop_types

* Added helper functions for testing check_loop_types.
* Added true negatives tests for check_loop_types.
Split expr_type into two functions: find_returntype and find_argtype.