def write_findings(method, lead_space, address, pc, at_init=''):
    """
    Writes contract address and EVM program counter indicating whether counter was read at constructor
    :param method: pointer to the object with the write method
    :param lead_space: leading white space
    :param address: contract address
    :param pc: program counter
    :param at_init: Boolean
    :return: pass
    """
    method.write(f'{lead_space}Contract: {address:#x}')
    method.write(
        f"""{lead_space}EVM Program counter: {pc:#x}{' (at constructor)' if at_init else ''}
"""
        )
