Method, and Property Existence Checks

This pass checks whether a called method, or an accessed property exists. It will also try to detect typos if non-existent, and suggest alternatives:

class A
{
    private $emptyProperty;
}

$a = new A();
$a->emtpyProperty = 'foo'; // will suggest to fix the properties name