Constant propage omega = Math.PI since Wala never detects this variable

Also remove unnecessary casts to double.

See #4.