added reasoning; added first test environment for bytecode manipulation