Clarify decompilation for B<c>'s
Should pass shifted constant to decompile
Add stub of formal test infrastracture
Fix ADC bug