Branching complexity.php

<?php
public function eatIfHungry() {
	// states we need to think about:
	// - isHungry
	// - !isHungry
	
	if (!$this->isHungry()) {
		// states we need to think about:
		// - !isHungry
		return;
	}
	
	// states we need to think about:
	// - isHungry
	
	// nice! we permanently eliminated a branch.
	// the number of states we need to consider only ever decreases
	
	$this->eat();
}

public function eatIfHungry() {
	// states we need to think about:
	// - isHungry
	// - !isHungry
	
	if ($this->isHungry()) {
		// states we need to think about:
		// - isHungry
		$this->eat();
	}
	
	// states we need to think about:
	// - isHungry
	// - !isHungry
	
	// sad :( conditions that were ruled-out inside the `if` have come back
	// the number of states we need to consider keeps changing:
	// we need more contextual awareness to code like this
}