Updated semantic check for Any. Fixed syntax in test cases.