Representing Partial Programs with Blended Abstract Semantics