A Formal Framework for ASTRAL Intra-Level Proof Obligations