Added the enableAssertOrAssume method to enable or disable the flag of
assertion or assumption.