jacket-18
Fixed semantic analysis