Added a script that checks observability of the case with estimating omega

Check indicates that either it should be observable... or the symbolic math is just too damn hard.