Working on getting the type analysis to correctly verify the given test cases.