Basic scenario
Guard against generating code when method is not empty
Guard against contradictory examples