Verify that raw_exp exists and isn't empty