Added: Enabled the static checker pass (still very incomplete).