HOTFIX: Disabling tests per SPARK-2264
Use analyzer (which runs to fixed point) instead of manually removing analysis operators.