Disable division checker for non-constant divisions (fixes #16).