Changes to testcases so there are no more erros for type propagation. Removed a testcase