convert G |- {v:B1|p1} <: {v:B2|p2} into G |- {v:B1|p1} <: {v:B1 | false}
asd
hack consExpr so that deadCast returns a NOTHING to kill the consGen if an arg is a DEADCAST