Coma, an Intermediate Verification Language with Explicit Abstraction Barriers