Whether the variables are consistent.
The variables are consistent if they are present in all branches, and have the same type and finality.
bool get isConsistent;