Preliminary abstract semantics passing initial tests.