Test that non-associative binary operators throw exceptions.
Test that a function call is safe only when the last called function is safe.