Made changes to cebu-pacific to address warnings of our semantic checker