Disable option '--universal-quantified-functions'.