Friedman hasAFree uses h9 twice, fails to compile to tm4 #7
Description
Trying to understand the code, I realized the friedman lac file never compiled to tm4 for me. Looking at the git history I notice h9 was added as an input at some point, but it already was the output.
Can the output be reassigned to h10 or would that affect other logic?