make eliminator not get confused by calls without a return but with a coercion