Oh, I misread your earlier comment about the 16bit signed shift! you can ignore 
And about the "cp a", oh! good point! I have it lumped with "cp <register>" and in general it depends on both A and <register>, but that particular case needs to be fixed. Good catch! I'll modify my dependencies definition file to account for this!
lol, exactly 
Thanks for the update! Running it again over my sources
I saw a typo in the output:
'to remove a call and a ret statements as Function is only caled once'
There should be no s behind statements and called instead of caled.
Oh, good one! Thanks! Fixed in GitHub for the next version
More cool stuff
First time I test the so-thingy today, so I'm probably doing something wrong. But, in the example, we find this:
allowed_ops:
shift
ld
allow_ram_use = false
allowed_registers: hl, a
initial_state:
HL = ??val
goal_state:
HL = ??val << 10
I just changed the '10' to '5', and using this: java -jar mdl.jar test.txt -so-time, ends with this:
ERROR: No program that satisfied the specification was found. ERROR: Problem executing worker SearchBasedOptimizer ERROR: Could not fully execute some workers (error code 3).
What should I do to get passed this?
also, that being said, I think the search-based optimizer is going to be less useful than I originally anticipated, and more of a toy to play with. It just takes too long to search for any reasonable size program if you enable sufficient instructions in the search space haha. But it's ok, I'll try to make it faster bit by bit over time, and also there might be some uses for it that I need to explore