Added unit tests for method binding and float division for Global Robustness.