BitcodeFunctionModel
constructor(kind: BitcodeFunctionModelKind, inputs: List<BitcodeFunctionEndpoint>, ranges: List<BitcodeMemoryRange> = emptyList(), fields: List<BitcodeMemoryField> = emptyList(), arrays: List<BitcodeArrayField> = emptyList(), constraints: List<BitcodeIntegerConstraint> = emptyList(), validResult: Long = 0, invalidResult: Long = 1, copyBytes: Int? = null, storedPointerGlobal: String? = null)