Counter example for property_assert_test/observer
Inputs:
In1 = [[0; 0; 0]];
In2 = [[0; 0; 0]];
In3 = [[0; 1/2; -1]];
In4 = [[15 16 17;18 19 20]];
Outputs:
Out1 = [[1; 1/2; 2]];
Out2 = [[0 0 0;0 0 0]];