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