Changed the signature of assert and assume procedures to take int as their argument.