* fix offline tests, clean up some warnings * clean up warnings during decomp * fix remaining crash issues
shadow-h
target-h
* decomp: `target-h` * decomp: `shadow-h` * decomp: Add reference / source files * Use `define-perm` in goal_src file