shell769324

beta1 and beta2 are not independent. Need to include the covariance

 In the snippet, one wants to declare the variable `aChoice` to be available in three states. The variable should be in `Hidden` state in the first state and `Revealed`...

**Describe the bug** For all methods that are declared in an obs file, the corresponding java method has `throws BadTransactionException` declared in their function signature. However, `BadTransactionException` is not thrown...