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