remove spurious is_tcall checks
fix and cleanup call and send generation