Fixed a bug who is the cause of not propagating effects from method invocation. Made it modular a little bit to run Java and Android differently by dotest something and by doandroidtest something.