def has_ret(bb):
    """
    @param bb List of PseudoInstructions of one basic block
    @return True if ret instruction is part of basic block, False otherwise
    """
    return (lambda bb: True if 'ret_T' in map(lambda inst: inst.inst_type, bb) else False)(bb)