Tests for the Abstract compiler.