Now detects when program isn't register allocate-able