add test for forward declared shadow case
add test for conditional exprsession
add test for ELSIF
test for assignment/equality confusion
add test for unused return value
add tests for checking presence of RETURN
add test for forward declaration
add test for structural type compatibility
add test for Nothing declaration