Added parsing of assert and assume with message.