Reverted abstract_compiler.nit