type check derived values
determinism check