fixed a bug where the specification could not show values for state
variales if the loaded machine did not have state variables but its
included machine had
fixed method name