makes one think if those are valid asserts
inserting allocator stage in method translation
move test that translate or create binary to own directory, for semantic distance (they are the only ones still failing)