Added another scenario for PHP forward goto
Fixed support for unused PHP jump labels