A conjunctive type system for useless-code elimination