Checking visibility of properties, making method passes available to calls, tracking last read use of variables in LocalContextPass