Fixed bugs with the Abstraction and Extend plugins of the compiler