Make cset-meet take more than two arguments.
Add cgen/inv and use it.
Remove duplicate case in infer.