Add abstract interpreter code.