Fixed vector length check in ast_conversion.py