Verifying property variables before using them