Verify explicit instruction properties when they can be inferred.