Method return

Checks for instructions that leave the execution. 
```php
public function myMethod() -> boolean
{
    if 0 == 1 {
        return false;
    }
    // expected return value is never returned
}
```